منابع مشابه
Integration of Formal Methods into System Safety and Reliability Analysis
System verification and hazard analysis procedures on critical systems are traditionally carried out in separate stages of product development and by different teams of engineers. Safety and hazard analyses have for several decades been based on techniques such as fault tree analysis (FTA), whereas system verification is carried out by testing and simulation. Recent years have seen an increasin...
متن کاملFormal Methods in the Verification and Validation of Simulation Models
We examine the use of formal methods in the verification and validation of simulation models. The verification methods covered are deductive inference and model checking. The validation methods are statistical tests and inductive inference. The model that the methods are demonstrated on is the simple pendulum problem. This problem was chosen because it is conceptually easy to understand and all...
متن کاملSafety Correctness and Reliability Analysis using Formal Methods
Safety Correctness and Reliability Analysis using Formal Methods 2 SUMMARY The objective of this report was to further investigate and develop a methodology using formal methods for doing safety correctness and reliability analysis. In an earlier report some formal analysis methods were demonstrated. In this report, after an expansion of the possibility to express system functionality, further ...
متن کاملFormal Methods and Models
7KH PRWLYDWLRQ IRU XVLQJ IRUPDO PHWKRGV LQ WKH FRQWH[W RI WUXVWHG GHYHORSPHQW VWHPV SULPDULO\ IURP WKHLU DELOLW\ WR HQVXUH SUHFLVLRQ FRQVLVWHQF\ DQG DGGHG DVVXUDQFH GXULQJ WKH HODERUD WLRQ RI VHFXULW\ UHTXLUHPHQWV DFURVV GLIIHUHQW VWDJHV LQ WKH GHYHO RSPHQW RI D WUXVWHG FRPSXWLQJ V\VWHP 7KH VXEMHFW PDWWHU RI IRUPDO PRGHOV DQG VSHFLILFDWLRQV FDQ EH LOOXVWUDWHG E\ WKH YDULRXV NLQGV RI VHFXULW\ DW...
متن کاملDigital System Verification: A Combined Formal Methods and Simulation Framework
Spend your time even for only few minutes to read a book. Reading a book will never reduce and waste your time to be useless. Reading, for some people become a need that is to do every day such as spending time for eating. Now, what about you? Do you like to read a book? Now, we will show you a new book enPDFd digital system verification a combined formal methods and simulation framework mitche...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2015
ISSN: 0975-8887
DOI: 10.5120/ijca2015907684